The Complexity of Zero Knowledge Salil Vadhan∗ School of Engineering and Applied Sciences Harvard University Cambridge, MA 02138

Source URL: people.seas.harvard.edu

• Cryptography
• Computational complexity theory
• Complexity classes
• Interactive proof system
• Zero-knowledge proof
• NP
• Probabilistically checkable proof
• IP
• Soundness
• Commitment scheme
• NEXPTIME
• P versus NP problem

Int. J. of Intelligent Engineering Informatics, Vol. x, No. x, 1–26 Numerical Program Optimization by Automatic Improvement of the Accuracy of Computations Nasrine Damouche* and Matthieu Martel Universit´e de Perpign

Source URL: perso.univ-perp.fr

• Functions and mappings
• Mathematical analysis
• Mathematics
• Computer arithmetic
• Limit of a function
• Abstract interpretation
• Unit in the last place
• Exponentiation
• Integral
• Lambda calculus
• Quantifier
• Combinatory logic

Vinta: Verification with INTerpolation and Abstract iterpretation Arie Gurfinkel Software Engineering Institute Carnegie Mellon University

Source URL: arieg.bitbucket.io

• Computing
• Software engineering
• Computer programming
• Carnegie Mellon University
• Carnegie Mellon Silicon Valley
• Abstract interpretation
• Mellon
• Scala
• Refinement

Leveraging Gate-Level Properties to Identify Hardware Timing Channels Jason Oberg∗ , Sarah Meiklejohn∗ , Timothy Sherwood† and Ryan Kastner∗ ∗ Computer Science and Engineering, University of California, San Di

Source URL: smeiklej.com

Is Interaction Necessary for Distributed Private Learning? Adam Smith∗ , Abhradeep Thakurta† , Jalaj Upadhyay∗ of Electrical Engineering and Computer Science, Pennsylvania State University, Email: {asmith, jalaj}@p

Source URL: www.ieee-security.org

Learning gem5 – Part II Modifying and Extending gem5 Jason Lowe-Power http://learning.gem5.org/ https://faculty.engineering.ucdavis.edu/lowepower/

Source URL: learning.gem5.org

• Computer programming
• Software engineering
• Computing
• Cross-platform software
• High-level programming languages
• Object-oriented programming languages
• Build automation
• Compiling tools
• Python
• SCons
• C++
• Comment

Imperial College London Department of Electrical and Electronic Engineering MEng Individual Project Project Title:

Source URL: www.doc.ic.ac.uk

• Computer network security
• Cyberwarfare
• Computing
• Security engineering
• Honeypot
• Computer security
• Virtual machine
• VMware
• Internet privacy
• Honeyd
• Client honeypot

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, # 1 Swarm Verification Techniques Gerard J. Holzmann, Rajeev Joshi, and Alex Groce

Source URL: rjoshi.org

• Theoretical computer science
• Information retrieval
• Information science
• Model checkers
• Hashing
• Model checking
• Ith
• SPIN model checker
• Bitstate hashing
• Cryptographic hash function
• Correctness
• Applied mathematics

Baris Kasikci Assistant Professor Electrical Engineering and Computer Science University of Michigan 4820 BBB 2260 Hayward Street

Source URL: web.eecs.umich.edu

• Computing
• Technology
• California
• EMC Corporation
• VMware
• Embedded system
• Synopsys
• USENIX Annual Technical Conference
• Debugging
• Intel
• Software Guard Extensions
• Edouard Bugnion